GTA1: GUI Test-time Scaling Agent
arxiv.org·2d
🎮Verification Games
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·15h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·9h·
Discuss: r/programming
🔬Static Analysis
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·10h·
Discuss: r/programming
🐫OCaml
Writing Bounds-Safe Code in C with Arrays
uecker.codeberg.page·15h·
Discuss: Hacker News
🔬Static Analysis
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Harnessing AI To Elevate Automated Software Testing
thenewstack.io·1d
👁️System Observability
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·2d·
Discuss: Lobsters, Hacker News
🧱Immutable Infrastructure
(Attempting to) Engineer the chaos out of AI agents
trunk.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·14h·
Discuss: Hacker News
🛡️seL4
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Exploiting Partial Compliance: The Redact-and-Recover Jailbreak
generalanalysis.com·2d·
Discuss: Hacker News
🛡️seL4
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·8h·
Discuss: Hacker News
🌐NetworkProtocols
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·19h·
Discuss: Substack
🔬Static Analysis
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·59m·
Discuss: Hacker News
👁️System Observability
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·14h·
Discuss: Hacker News
🔠Type-Level Programming
Don’t compare programming to the real world
expressionstatement.com·18h·
Discuss: r/programming
👁️System Observability
Real-Time Decorrelation-Based Anomaly Detection for Multivariate Time Series
arxiv.org·4h
👁️System Observability
ASSURE: Metamorphic Testing for AI-powered Browser Extensions
arxiv.org·2d
🛡️seL4
Galois field instructions on 2021 CPUs
corsix.org·21h·
Discuss: Hacker News
🐫Embedded OCaml